4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/test/java/org/semanticweb/elk/owlapi/proofs/RandomProofCompletenessTest.java,RandomProofCompletenessTest,randomProofCompletenessTest,#OWLProver#OWLSubClassOfAxiom#OWLOntology#Random#number#,150
In pattern: SUPERPATTERN
Frequency: 4
Non-data size: 3
Instances
1479908992
yevgeny.kazakov@uni-ulm.de
liveontologies/elk-reasoner,4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/test/java/org/semanticweb/elk/owlapi/proofs/RandomProofCompletenessTest.java,RandomProofCompletenessTest,randomProofCompletenessTest,#OWLProver#OWLSubClassOfAxiom#OWLOntology#Random#number#,150
1479908992
yevgeny.kazakov@uni-ulm.de
liveontologies/elk-reasoner,4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/test/java/org/semanticweb/elk/owlapi/proofs/ProofTest.java,ProofTest,printInferences,#OWLProver#OWLClassExpression#OWLClassExpression#,286
1479908992
yevgeny.kazakov@uni-ulm.de
liveontologies/elk-reasoner,4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/main/java/org/semanticweb/elk/owlapi/proofs/Proofs.java,Proofs,getUsedAxioms,#OWLProver#OWLAxiom#boolean#,54
1479908992
yevgeny.kazakov@uni-ulm.de
liveontologies/elk-reasoner,4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-distribution/src/main/java/org/semanticweb/elk/owlapi/examples/RetrievingProofsForEntailment.java,RetrievingProofsForEntailment,main,#String[]#,60